 $( $t
  htmldef "mychar' as 'mychareplacement'; 
 $)
 
